//]]>
Unhighlight Highlight
Logics in artificial intelligence : , 12th European conference, JELIA 2010, Helsinki, Finland, September 13-15, 2010 : proceedings /   Publication: Berlin : | New York : 2010 . xiii, 372 p. : 24 cm. Date:2010 Availability: Copies available: AUM Main Library (2),
Actions: Add to Cart
From Boolean Logic to Switching Circuits and Automata by Stanković, Radomir S. Publication: . XVIII, 214p. 135 illus., 70 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Logic of Categorial Grammars by Moot, Richard. Publication: . X, 300 p. 69 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Lectures on Logic and Computation by Bezhanishvili, Nick. Publication: . VIII, 265 p. 41 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logic and Games on Automatic Structures by Kaiser, Łukasz. Publication: . XII, 118 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Tools for Teaching Logic by Blackburn, Patrick. Publication: . XI, 257p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Natural Deduction, Hybrid Systems and Modal Logics by Indrzejczak, Andrzej. Publication: . XXIII, 514p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Reactive Kripke Semantics by Gabbay, Dov M. Publication: . XII, 442 p. 201 illus., 10 illus. in color. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
The Complexity of Valued Constraint Satisfaction Problems by Živný, Stanislav. Publication: . XVII, 170 p. 23 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Conditionals and Modularity in General Logics by Gabbay, Dov M. Publication: . IX, 233 p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Logical Tools for Handling Change in Agent-Based Systems by Gabbay, Dov M. Publication: . X, 305p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Cognitive Reasoning by Gergely, Tamás. Publication: . X, 437p. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Belief Revision in Non-Classical Logics by Ribeiro, Márcio Moretto. Publication: . XI, 120 p. 5 illus. Availability: Copies available: AUM Main Library (1),
Actions: Add to Cart
Languages: 
English |
العربية